Andrew Mellon

Results: 992



#Item
41Logic / Mathematical logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / FO / Constructible universe / Normal distribution

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2016-01-24 20:37:43
42Academic publishing / Andrew W. Mellon Foundation / JSTOR / Publishing / Education / Public sphere

JSTOR End of the Calendar Year Report, December 2005 After setting up facilities, project planning, and hiring, UC started the validation process at the Southern Regional Library Facility with SRLF materials on May 1, 20

Add to Reading List

Source URL: www.srlf.ucla.edu

Language: English - Date: 2006-05-03 14:11:00
43Reference / Knowledge / Language / Publishing / Book design / Text annotation / Gazetteer / Annotation / Digital preservation / Institutional repository

The Andrew W. Mellon Foundation Scholarly Communications and Information Technology Program Proposal(Summary( Investigative Team University of Southampton: Leif Isaksen, Pau de Soto

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
44Academic publishing / Andrew W. Mellon Foundation / JSTOR / Serial Item and Contribution Identifier / Publishing / Education / Public sphere

Parameter Expansion to Accelerate EM: The PX-EM Algorithm Chuanhai Liu; Donald B. Rubin; Ying Nian Wu Biometrika, Vol. 85, No. 4. (Dec., 1998), ppStable URL: http://links.jstor.org/sici?sici=%

Add to Reading List

Source URL: www.stat.ucla.edu

Language: English
45Andrew W. Mellon Foundation / Library science / Museology / Publishing / Information science / Records management / Archival science / Ithaka Harbors / Digital preservation / Academic publishing / Preservation / Digital library

Scaling Up and Scaling Out Leveraging Preservation Infrastructure and Experience to Benefit the Community Kate Wittenberg Managing Director, Portico

Add to Reading List

Source URL: www.portico.org

Language: English - Date: 2015-06-29 10:55:31
46Software / Computing / Computer network security / Cloud clients / Portable software / Web browsers / Hypertext Transfer Protocol / Browser security / HTTP cookie / JavaScript / Google Chrome / Browser extension

Run-time Monitoring and Formal Analysis of Information Flows in Chromium Lujo Bauer Shaoying Cai? Limin Jia Timothy Passaro Michael Stroucken Carnegie Mellon University ? Institute for Infocomm Research

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2016-01-24 20:37:43
47Andrew W. Mellon Foundation / Ithaka Harbors / Perpetual access / Archive / License / Business / Publishing / Professional studies

DOC Document

Add to Reading List

Source URL: www.portico.org

Language: English - Date: 2016-02-29 11:14:57
48Logic / Mathematics / Philosophy / Logic in computer science / Automated theorem proving / Formal sciences / Formal methods / Mathematical logic / Proof theory / Automated reasoning / Formal epistemology / Foundations of mathematics

Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2016-08-20 23:21:44
49Publishing / Academic publishing / Andrew W. Mellon Foundation / JSTOR / Annals of the Missouri Botanical Garden / Botanical garden / Academia / Scholarly communication

The Botanical Catalogues of Auguste De St. Hilaire Author(s): John D. Dwyer Source: Annals of the Missouri Botanical Garden, Vol. 42, No. 2 (May, 1955), ppPublished by: Missouri Botanical Garden Press Stable UR

Add to Reading List

Source URL: hvsh.cria.org.br

Language: English - Date: 2014-10-23 10:18:07
50Politics / Socialism / Political philosophy / Right Opposition / Anarchism in Spain / POUM / Spanish Civil War / Spanish Revolution / Homage to Catalonia / May Days / Andrs Nin / Vctor Alba

Abraham Lincoln Brigades Archives (ALBA) Submission for George Watt Prize, Essay Contest, 2015 Name: Jonathan Sherry, Andrew Mellon Fellow & PhD Candidate in History, University of Pittsburgh Address: Calle Santa Juana d

Add to Reading List

Source URL: www.alba-valb.org

Language: English - Date: 2015-10-12 13:38:23
UPDATE